#!/bin/sh

# echo "Compiling IGJExample.java (should produce 14 errors):"
# java -Xbootclasspath/p:../:../../../../JSR308-Checkers/langtools/dist/lib/classes.jar -cp ../../../../JSR308-Checkers/checkers/checkers.jar:../src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker ../test/IGJExample.java 2>&1 | tail -1

echo "Compiling OIGJExample.java (should produce 33 errors):"
java -Xbootclasspath/p:../:../../../../JSR308-Checkers/langtools/dist/lib/classes.jar -cp ../../../../JSR308-Checkers/checkers/checkers.jar:../src com.sun.tools.javac.Main -processor checkers.oigj.OIGJChecker ../test/OIGJExample.java 2>&1 | tail -1
